Creating a housing city on Mars would be an incredible technological feat